Predicate transformer semantics - PDFSEARCH.IO - Document Search Engine

Predicate transformer semantics
Results: 104

#	Item
91	TEXTS AND MONOGRAPHS IN COMPUTER SCIENCE THE SCIENCE OF PROGRAMMING David Gries Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2011-08-25 09:35:55 Computer arithmetic Binary arithmetic Division Assertion Quasigroup Predicate transformer semantics Euclidean algorithm Mathematics Theoretical computer science Computing
92	Development of correct graph transformation systems Preliminary abstract Karl-Heinz Pennemann University of Oldenburg, Germany?? [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-11 06:38:02 Formal methods Graph rewriting Model checking Predicate transformer semantics Graph Graph theory Mathematics Theoretical computer science
93	Weakest Preconditions for High-Level Programs Annegret Habel1 , Karl-Heinz Pennemann1 , and Arend Rensink2 1 University of Oldenburg, Germany⋆⋆ {habel,pennemann}@informatik.uni-oldenburg.de 2 Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-06-21 08:43:28 Algebra Morphisms Algebraic geometry Predicate transformer semantics Program logic Pushout Graph rewriting Epimorphism Ample line bundle Abstract algebra Mathematics Category theory
94	3 RD I NTERNATIONAL W ORKSHOP ON G RAPH BASED T OOLS Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2006-09-05 14:08:23 Formal methods Graph rewriting Predicate transformer semantics Compiler construction Model checking KeY Duality Graph Compiler Theoretical computer science Mathematics Graph theory
95	Authors’ accepted version for publication in Formal Aspects of Computing The final publication is available at springerlink.com The Behavioural Semantics of Event-B Refinement Steve Schneider1 , Helen Treharne1 , Heike Add to Reading List Source URL: www.computing.surrey.ac.uk Language: English - Date: 2014-04-07 11:14:04 Process calculi Denotational semantics Concurrent computing Communicating sequential processes Formal methods Philosophical logic Predicate transformer semantics Divergence Trace Mathematics Computing Theoretical computer science
96	FDCC: a Combined Approach for Solving Constraints over Finite Domains and Arrays S´ebastien Bardin(1) , Arnaud Gotlieb[removed]CEA LIST (Paris, France) (2) INRIA (Rennes, France) - Certus V&V Center, Simula (Oslo, Norway Add to Reading List Source URL: sebastien.bardin.free.fr Language: English - Date: 2012-06-04 05:05:22 Program logic ELLA ATS Predicate transformer semantics International Securities Identification Number Computing Programming language theory Formal methods Software engineering Hardware description languages
97	ACSL By Example Towards a Verified C Standard Library Add to Reading List Source URL: www.fokus.fraunhofer.de Language: English - Date: 2013-12-13 09:57:19 Software Formal methods Generic programming Algorithm Mathematical logic Theoretical computer science Stack Predicate transformer semantics Frama-C Mathematics C++ Standard Library Computing
98	Teaching program specification and verification using JML and ESC/Java2 Erik Poll Add to Reading List Source URL: www.cs.ru.nl Language: English - Date: 2009-08-15 11:27:47 Logic in computer science Formal methods ESC/Java Programming paradigms Static program analysis Predicate transformer semantics KeY Postcondition Invariant Software engineering Theoretical computer science Computing
99	Local Reasoning about Programs that Alter Data Structures Peter O’Hearn1 , John Reynolds2 , and Hongseok Yang3 Add to Reading List Source URL: www.eecs.qmul.ac.uk Language: English - Date: 2004-02-09 08:02:34 Program logic Logic in computer science Model theory Hoare logic Predicate transformer semantics Modal logic Function Interpretation If and only if Logic Mathematics Mathematical logic
100	Safety Checking of Machine Code Zhichen Xu Add to Reading List Source URL: ftp.cs.wisc.edu Language: English - Date: 2004-03-27 21:08:37 Data types Type theory Formal methods Pointer Predicate transformer semantics Sequence container Stack Compiler optimization Type safety Computing Software engineering Programming language theory

UPDATE